
void rcu_sched_clock_irq(int user)
{

}

void rcu_read_unlock(void)
{

}

void rcu_read_lock(void)
{

}
